<?php

class TicketlinesPeer extends BaseTicketlinesPeer
{
}
